English translation for "récursivement énumérable"

computably enumerable

Example Sentences:

	1.	A problem is called partially decidable, semi-decidable, solvable, or provable if A is a recursively enumerable set. De même, P est dit partiellement décidable, semi-décidable ou prouvable si l'ensemble A est récursivement énumérable.
	2.	A set is recursively enumerable if and only if it is at level Σ 1 0 {\displaystyle \Sigma _{1}^{0}} of the arithmetical hierarchy. Un ensemble est récursivement énumérable si et seulement s'il se trouve au niveau Σ 1 0

Similar Words：

"récurrent" English translation, "récursif" English translation, "récursion" English translation, "récursion mutuelle" English translation, "récursion terminale" English translation, "récursivité" English translation, "récursivité gauche" English translation, "récusant" English translation, "récusateur" English translation